|
In mathematics, schemes connect the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander Grothendieck in 1960 in his treatise Éléments de géométrie algébrique, with the aim of developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne).〔Introduction of the first edition of Éléments de géométrie algébrique〕 Schemes enlarge the notion of algebraic variety to include nilpotent elements (the equations ''x'' = 0 and ''x''2 = 0 define the same points, but different schemes), and "varieties" defined over any commutative ring. To be technically precise, a scheme is a topological space together with commutative rings for all of its open sets, which arises from gluing together spectra (spaces of prime ideals) of commutative rings along their open subsets. In other words, it is a locally ringed space which is locally a spectrum of a commutative ring. There are many ways one can qualify a scheme. According to a basic idea of Grothendieck, conditions should be applied to a ''morphism'' of schemes. Any scheme ''S'' has a unique morphism to Spec(Z), so this attitude, part of the ''relative point of view'', doesn't lose anything. For details on the development of scheme theory, which quickly becomes technically demanding, see first glossary of scheme theory. == History and motivation == The algebraic geometers of the Italian school had often used the somewhat foggy concept of "generic point" when proving statements about algebraic varieties. What is true for the generic point is true for all points of the variety except a small number of special points. In the 1920s, Emmy Noether had first suggested a way to clarify the concept: start with the coordinate ring of the variety (the ring of all polynomial functions defined on the variety); the maximal ideals of this ring will correspond to ordinary points of the variety (under suitable conditions), and the non-maximal prime ideals will correspond to the various generic points, one for each subvariety. By taking all prime ideals, one thus gets the whole collection of ordinary and generic points. Noether did not pursue this approach. In the 1930s, Wolfgang Krull turned things around and took a radical step: start with ''any'' commutative ring, consider the set of its prime ideals, turn it into a topological space by introducing the Zariski topology, and study the algebraic geometry of these quite general objects. Others did not see the point of this generality and Krull abandoned it. André Weil was especially interested in algebraic geometry over finite fields and other rings. In the 1940s he returned to the prime ideal approach; he needed an ''abstract variety'' (outside projective space) for foundational reasons, particularly for the existence in an algebraic setting of the Jacobian variety. In Weil's main foundational book (1946), generic points are constructed by taking points in a very large algebraically closed field, called a ''universal domain''. In 1944 Oscar Zariski defined an abstract Zariski–Riemann space from the function field of an algebraic variety, for the needs of birational geometry: this is like a direct limit of ordinary varieties (under 'blowing up'), and the construction, reminiscent of locale theory, used valuation rings as points. In the 1950s, Jean-Pierre Serre, Claude Chevalley and Masayoshi Nagata, motivated largely by the Weil conjectures relating number theory and algebraic geometry, pursued similar approaches with prime ideals as points. According to Pierre Cartier, the word ''scheme'' was first used in the 1956 Chevalley Seminar, in which Chevalley was pursuing Zariski's ideas; and it was André Martineau who suggested to Serre the move to the current spectrum of a ring in general. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Scheme (mathematics)」の詳細全文を読む スポンサード リンク
|